“This implies that Michigan must honor the Libertarian Party’s request to print the name of Gary E. Johnson of Austin, Texas, on the November ballot, if indeed Gary Johnson of New Mexico is not permitted to run.”

Clever!